Revision theory

Results: 359



#Item
161Knowledge representation / Logic / Logic programming / Social psychology / Science / Contraction / Preference / Edge contraction / Artificial intelligence / Operator theory / Consumer theory / Belief revision

Minimal preference change Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 School of Computer Science, University of Nottingham Department of Philosophy, Tsinghua University, Beijing, China

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2013-07-26 06:11:06
162Logic programming / Science / Consumer theory / Social psychology / Preference / Contraction / Axiom / Belief revision / Knowledge representation / Logic

Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2014-03-14 10:59:30
163Logic / Artificial intelligence / Theory of justification / Contraction / Science / Epistemology / Logic programming / Knowledge representation / Belief revision

Resource-Bounded Belief Revision and Contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science, University of Nottingham, Nottingham, UK {nza, mtw, bsl}@cs.nott.ac.uk

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-11 12:40:28
164Logic programming / Science / Consumer theory / Social psychology / Preference / Contraction / Axiom / Belief revision / Knowledge representation / Logic

Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2014-09-26 15:05:55
165Knowledge representation / Logic / Logic programming / Social psychology / Science / Contraction / Preference / Edge contraction / Artificial intelligence / Operator theory / Consumer theory / Belief revision

Minimal preference change Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 School of Computer Science, University of Nottingham Department of Philosophy, Tsinghua University, Beijing, China

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2014-09-26 15:19:09
166Philosophical logic / Model theory / Metalogic / Modal logic / Epistemic modal logic / Non-monotonic logic / First-order logic / FO / Belief revision / Logic / Mathematical logic / Non-classical logic

Journal of Logic and Computation Advance Access published October 10, 2006 The Dynamics of Syntactic Knowledge THOMAS A˚GOTNES, Department of Informatics, University of Bergen P.B. 7800, N-5020 Bergen, Norway. E-mail:

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-20 10:30:44
167Politics / Government / Decision theory / Policy

Policy Revision Guide The Policy Councils and Task Teams will initiate the review process and decide if a policy supports the college’s strategic plan. If a policy is retained, the “Policy Template,” available on t

Add to Reading List

Source URL: depts.gpc.edu

Language: English - Date: 2012-06-26 12:59:06
168Science / AgentSpeak / Belief revision / Jason / Theory of justification / Belief–desire–intention model / Belief / Non-monotonic logic / Epistemology / Multi-agent systems / Artificial intelligence / Computing

aamas06-agentspeak-belief-revision.dvi

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-11 12:40:28
169Logic programming / Knowledge representation / Belief revision / Logic / Theory of justification / J / Software engineering / Computer programming / Computing

Resource-bounded belief revision and contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science University of Nottingham Nottingham, UK {nza,mtw,bsl}@cs.nott.ac.uk

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-11 12:40:28
170United States administrative law / Idaho / Administrative law / Decision theory / Rulemaking

STATEMENT OF PURPOSE RS[removed]The purpose of this legislation is to recognize and approve a revision to the Idaho Water Quality Standards (WQS) that addresses Outstanding Resource Waters (ORW). The revision deletes the O

Add to Reading List

Source URL: dfm.idaho.gov

Language: English - Date: 2014-12-30 17:25:17
UPDATE